if    True
then  if True then if True then 1 else 2 else if True then 3 else 4
else  if True
then  if True then 5 else 6
else  if True
then  7
else  8
